2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
A. S. Troelstra (Editor)
Категория:
Математика
,
Прикладная математика
21.39 Mb
#2
Basic Proof Theory, 2nd Edition (Cambridge Tracts in Theoretical Computer Science, Volume 43)
A. S. Troelstra
,
H. Schwichtenberg
,
Anne S. Troelstra
Категория:
Компьютеры
3.30 Mb
#3
History of Constructivism in the 20th Century
Troelstra A S
Категория:
fiction
342 Kb
#4
Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis
Troelstra A.S.
22.34 Mb
#5
Principles of Intuitionism
Troelstra A.S.
3.91 Mb
#6
Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968
Anne S. Troelstra
Категория:
Lecture notes
705 Kb
#7
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Anne S. Troelstra
Категория:
Lecture notes
2.77 Mb
#8
Basic proof theory
A. S. Troelstra
,
H. Schwichtenberg
4.79 Mb
#9
Basic Proof Theory
A. S. Troelstra
,
H. Schwichtenberg
24.68 Mb
#10
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
A. S. Troelstra
,
H. Schwichtenberg
,
Anne S. Troelstra
6.14 Mb
#11
Basic proof theory
A. S. Troelstra
,
H. Schwichtenberg
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.70 Mb
#12
The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981
A.S. Troelstra
,
D.van Dalen
,
D. Van Dalen
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
3.43 Mb
#13
Constructivism in mathematics: An introduction.
A. S. Troelstra
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.06 Mb
#14
Constructivism in Mathematics: An Introduction
A. S. Troelstra
34.90 Mb
#15
L.E.J.Brouwer Centenary Symposium Proceedings
A.S. Troelstra
,
D.van Dalen
,
D. Van Dalen
6.79 Mb
#16
Model Theory
Chang C.C.
,
Keisler H.J.
,
Troelstra A.S.
Категория:
Математика
5.21 Mb
#17
Lectures on Linear Logic
A. S. Troelstra
12.62 Mb
